Formal and Use-Case Driven Requirement Analysis in UML
نویسندگان
چکیده
We have recently proposed a formalization of the use of UML in requirement analysis. This paper applies that formalization to a library system as a case study. We intend to show how the approach supports a use case-driven, step-wised and incremental development in building models for requirement analysis. The actual process of building the models shows the importance and feasibility of the formalization itself.
منابع مشابه
Formalizing the Use of UML in Require- ment Analysis
The Unified Modelling Language (UML) is now widely used for modelling a software at different stages: requirement analysis, design and implementation, during the system development. This work attempts to develop a method to support the formal use of UML in object-oriented software development. The method will include formal definitions of the modelling units in UML which can be used to relate t...
متن کاملCase Study: Design and Implementation of an Ordering system using UML, Formal specification and Java Builder
This paper presents a case study of designing and implementing a sales ordering interactive system using the best practices for requirement analysis and design. We have used UML Use Case, Class, Sequence and State diagrams during requirement analysis and design. Formal methods is used to specify critical requirements and use cases. JBuilder development tool was used to implement the system. In ...
متن کاملIntegrating UML with Service Refinement for Requirements Modeling and Analysis
Unified Modeling Language (UML) is the de facto standard for requirements modeling and system design. UML as a visual language can tremendously help customers, project managers, and developers to specify the requirements of a target system. However, UML lacks the ability to specify the requirements precisely such as the contracts of the system operation, and verify the consistency and refinemen...
متن کاملFormal Specification of UML Requirement Models
The Unified Modeling Language (UML) is the de-facto standard modeling language for the development of software with broad ranges of applications. It supports for modeling a software at different stages during its development: requirement analysis, design and implementation. The use of UML encourages software developers to devote more effort on requirement analysis and modeling to produce better...
متن کاملFormal Consistency Verification of UML Requirement and Analysis Models
To capture and analyze the functional requirements of an information system, UML and the Unified Process (UP) propose the use case and sequence diagrams. However, one of the main difficulties behind the use of UML is how to ensure the consistency of the various diagrams used to model different views of the same system. In this chapter, the authors propose an enriched format for documenting UML2...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001